Ames Research Center - PDFSEARCH.IO - Document Search Engine

Ames Research Center
Results: 1206

#	Item
41	NASA/TM2014 International Workshop on Research and Operational Considerations for Artificial Gravity Countermeasures Ames Research Center, February 19 – 20, 2014 Add to Reading List Source URL: ston.jsc.nasa.gov Language: English - Date: 2014-08-13 09:01:14
42	Ames Research Title: LADEE PDS Spacecraft Description Center Document Document No: DES-11.LADEE.PDSSD Rev.: NC Effective Date: Add to Reading List Source URL: sbn.psi.edu Language: English - Date: 2014-07-01 13:07:37
43	Optimal and Robust Epidemic Response for Multiple Networks Michael Bloem a,1 Tansu Alpcan b Tamer Bas¸ar c a NASA Ames Research Center, Moffett Field, CA, USA. Add to Reading List Source URL: tansu.alpcan.org Language: English - Date: 2011-12-23 17:31:43
44	Kepler Science Center NASA Ames Research Center Kepler False Positive Table Delivery Log Date Add to Reading List Source URL: exoplanetarchive.ipac.caltech.edu - Date: 2016-02-16 18:44:51
45	The Role of Formalization and Argumentation in Assurance Cases Ewen Denney and Ganesh Pai SGT / NASA Ames Research Center {ewen.denney, ganesh.pai}@nasa.gov Add to Reading List Source URL: fm.csl.sri.com Language: English - Date: 2015-07-19 16:17:43
46	A Scalable Nonuniform Pointer Analysis for Embedded Programs? Arnaud Venet NASA Ames Research Center / Kestrel Technology Moffett Field, CA 94035, USA Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:56
47	Software Model Checking of ARINC-653 Flight Code with MCP Sarah J. Thompson Guillaume Brat SGT Inc., NASA Ames Research Center CMU, NASA Ames Research Center Add to Reading List Source URL: ti.arc.nasa.gov Language: English - Date: 2012-09-04 16:57:56
48	header for SPIE use Design and performance of a digital video quality metric Andrew B. Watson, James Hu, John F McGowan III, Jeffrey B. Mulligan NASA Ames Research Center, Moffett Field, CAABSTRACT Add to Reading List Source URL: vision.arc.nasa.gov Language: English - Date: 1999-10-05 13:25:59
49	Automated Component-Based Verification Dimitra Giannakopoulou and Corina Păsăreanu CMU / NASA Ames Research Center Add to Reading List Source URL: www.cis.upenn.edu - Date: 2014-10-15 09:49:29
50	Volcanic Signatures in a Global Stratospheric Aerosol Climatology Produced from SAGE II and CLAES. J.J. Bauman (Mail Stop, NASA Ames Research Center, Moffett Field, CA, ph: , fax: Add to Reading List Source URL: www.agu.org Language: English - Date: 2015-04-16 11:32:18

UPDATE